退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动验证和一致性测试,用于验证反应性系统的安全性
Rusu, Vlad; Marchand, Hervé; Jéron, Thierry;
机译:结合形式验证和一致性测试来验证反应系统
机译:集成反应系统的形式验证和一致性测试
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:安全关键反应系统的运行时验证理论。
机译:在Siemens-BEP®-III自动系统上验证死后血液中抗梅毒螺旋体的血清学检测
机译:自动验证和一致性测试验证反应系统的安全性能
机译:通过使用可解释的人工智能来警告驾驶员潜在风险状况的功能来提供安全性的学习方法和设备,这些人工智能可验证自动驾驶网络的检测过程,并使用此类学习设备。 ing的方法和测试设备{通过使用可行的AI来验证潜在危险情况,以警告驾驶员,以提供功能安全来学习功能和学习装置,并使用该工具进行测试,测试和测试
机译:marzialmatic扣-用于在运输工具上进行安全带数字化测试的扣环,在常规服务中可实现自动担保。带有自动安全释放间隔和数字化测试记录仪的开发装置,用于安全带的情况,并验证速度冲击。
机译:在不同的时序方案中使用测试模式重新执行以进行处理器设计验证和确认的测试系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。